[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 331 215 0 0 0 237 2500

N.S.

1 1.00 1.61 1.05 0.00 0.00 0.00 1.16 12.20

time (sec)

N/A 0.267 0.217 0.204 0.000 0.000 0.000 4.371 62.948

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 426 284 0 0 0 332 2500

N.S.

1 1.00 1.59 1.06 0.00 0.00 0.00 1.24 9.33

time (sec)

N/A 0.366 0.274 0.234 0.000 0.000 0.000 4.452 144.755

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 387 463 413 0 24206 0 12506 2500

N.S.

1 1.00 1.20 1.07 0.00 62.55 0.00 32.32 6.46

time (sec)

N/A 2.767 0.397 0.235 0.000 162.321 0.000 13.667 7.134

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

323 323 385 331 0 19849 0 11030 2500

N.S.

1 1.00 1.19 1.02 0.00 61.45 0.00 34.15 7.74

time (sec)

N/A 0.945 0.338 0.209 0.000 25.984 0.000 9.917 6.446

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 323 264 0 15257 0 8658 2500

N.S.

1 1.00 1.15 0.94 0.00 54.49 0.00 30.92 8.93

time (sec)

N/A 0.615 0.217 0.184 0.000 2.600 0.000 6.545 5.800

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 277 213 0 11974 0 6921 2500

N.S.

1 1.00 1.10 0.85 0.00 47.71 0.00 27.57 9.96

time (sec)

N/A 0.290 0.323 0.201 0.000 1.294 0.000 6.348 4.959

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 274 215 0 15733 0 7650 2500

N.S.

1 1.00 1.08 0.85 0.00 61.94 0.00 30.12 9.84

time (sec)

N/A 0.359 0.161 0.114 0.000 13.063 0.000 5.890 5.614

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 340 276 0 20327 0 10058 2500

N.S.

1 1.00 1.14 0.93 0.00 68.21 0.00 33.75 8.39

time (sec)

N/A 0.624 0.261 0.214 0.000 163.302 0.000 7.535 5.890

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 410 349 0 0 0 12268 2500

N.S.

1 1.00 1.18 1.00 0.00 0.00 0.00 35.25 7.18

time (sec)

N/A 1.062 0.359 0.216 0.000 0.000 0.000 7.604 6.726

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

866 866 215 264 0 0 0 0 2500

N.S.

1 1.00 0.25 0.30 0.00 0.00 0.00 0.00 2.89

time (sec)

N/A 1.767 0.253 0.167 0.000 0.000 0.000 0.000 6.836

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

272 272 259 1013 0 1501 0 0 -1

N.S.

1 1.00 0.95 3.72 0.00 5.52 0.00 0.00 -0.00

time (sec)

N/A 0.384 0.961 0.172 0.000 98.959 0.000 0.000 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 200 868 0 1247 0 0 -1

N.S.

1 1.00 0.96 4.17 0.00 6.00 0.00 0.00 -0.00

time (sec)

N/A 0.212 0.598 0.157 0.000 11.533 0.000 0.000 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 153 757 0 1074 0 0 -1

N.S.

1 1.00 0.91 4.51 0.00 6.39 0.00 0.00 -0.01

time (sec)

N/A 0.150 0.433 0.158 0.000 1.029 0.000 0.000 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 174 858 0 2407 0 0 -1

N.S.

1 1.00 0.94 4.61 0.00 12.94 0.00 0.00 -0.01

time (sec)

N/A 0.168 0.493 0.130 0.000 42.788 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 361 158 1004 0 1130 0 216 -1

N.S.

1 1.00 0.44 2.78 0.00 3.13 0.00 0.60 -0.00

time (sec)

N/A 0.353 0.666 0.162 0.000 0.628 0.000 4.630 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

424 619 209 528 0 0 0 0 -1

N.S.

1 1.46 0.49 1.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.369 5.529 0.166 0.000 0.000 0.000 0.000 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

417 591 204 509 0 0 0 0 -1

N.S.

1 1.42 0.49 1.22 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.259 4.921 0.128 0.000 0.000 0.000 0.000 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

381 470 127 341 0 0 0 0 -1

N.S.

1 1.23 0.33 0.90 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.133 9.737 0.135 0.000 0.000 0.000 0.000 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

399 399 208 511 0 0 0 0 -1

N.S.

1 1.00 0.52 1.28 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.143 10.135 0.142 0.000 0.000 0.000 0.000 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

360 360 154 448 0 0 0 0 -1

N.S.

1 1.00 0.43 1.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.123 10.126 0.207 0.000 0.000 0.000 0.000 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

546 546 224 549 0 0 0 0 -1

N.S.

1 1.00 0.41 1.01 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.360 10.158 0.139 0.000 0.000 0.000 0.000 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

482 482 545 1985 0 0 0 0 -1

N.S.

1 1.00 1.13 4.12 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.732 10.661 0.174 0.000 0.000 0.000 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

360 360 345 1663 0 0 0 0 -1

N.S.

1 1.00 0.96 4.62 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.452 1.983 0.164 0.000 0.000 0.000 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 260 1411 0 1573 0 0 -1

N.S.

1 1.00 0.97 5.25 0.00 5.85 0.00 0.00 -0.00

time (sec)

N/A 0.290 1.085 0.191 0.000 115.144 0.000 0.000 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

350 350 258 1613 0 0 0 0 -1

N.S.

1 1.00 0.74 4.61 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.364 0.939 0.136 0.000 0.000 0.000 0.000 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

562 562 230 1789 0 0 0 0 -1

N.S.

1 1.00 0.41 3.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.601 1.130 0.192 0.000 0.000 0.000 0.000 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

463 875 214 547 0 0 0 0 -1

N.S.

1 1.89 0.46 1.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.428 7.271 0.145 0.000 0.000 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

428 602 209 377 0 0 0 0 -1

N.S.

1 1.41 0.49 0.88 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.219 10.123 0.171 0.000 0.000 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

722 722 213 528 0 0 0 0 -1

N.S.

1 1.00 0.30 0.73 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.231 10.158 0.153 0.000 0.000 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

625 625 219 530 0 0 0 0 -1

N.S.

1 1.00 0.35 0.85 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.235 10.167 0.151 0.000 0.000 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

553 553 224 549 0 0 0 0 -1

N.S.

1 1.00 0.41 0.99 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.273 10.164 0.144 0.000 0.000 0.000 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 178 266 0 1364 0 0 -1

N.S.

1 1.00 1.03 1.54 0.00 7.88 0.00 0.00 -0.01

time (sec)

N/A 0.209 0.659 0.161 0.000 12.613 0.000 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 146 204 0 1100 0 0 -1

N.S.

1 1.00 1.07 1.49 0.00 8.03 0.00 0.00 -0.01

time (sec)

N/A 0.100 0.442 0.128 0.000 1.029 0.000 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 96 165 0 367 0 75 -1

N.S.

1 1.00 1.12 1.92 0.00 4.27 0.00 0.87 -0.01

time (sec)

N/A 0.057 0.305 0.122 0.000 0.414 0.000 4.192 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 144 207 0 1121 0 0 -1

N.S.

1 1.00 1.04 1.50 0.00 8.12 0.00 0.00 -0.01

time (sec)

N/A 0.133 0.475 0.133 0.000 0.530 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 163 275 0 1486 0 208 -1

N.S.

1 1.00 0.75 1.26 0.00 6.82 0.00 0.95 -0.00

time (sec)

N/A 0.179 0.884 0.155 0.000 0.794 0.000 3.458 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

418 418 127 222 0 0 0 0 -1

N.S.

1 1.00 0.30 0.53 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.117 10.155 0.115 0.000 0.000 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 99 134 0 0 0 0 -1

N.S.

1 1.00 0.40 0.54 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.080 10.111 0.136 0.000 0.000 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 80 70 0 0 0 0 -1

N.S.

1 1.00 0.33 0.29 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.070 10.042 0.124 0.000 0.000 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

399 399 147 178 0 0 0 0 -1

N.S.

1 1.00 0.37 0.45 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.218 10.157 0.140 0.000 0.000 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

422 422 219 260 0 0 0 0 -1

N.S.

1 1.00 0.52 0.62 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.328 10.132 0.134 0.000 0.000 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 251 696 0 4905 0 0 -1

N.S.

1 1.00 1.06 2.95 0.00 20.78 0.00 0.00 -0.00

time (sec)

N/A 0.311 0.967 0.136 0.000 38.183 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 180 542 0 1399 0 458 -1

N.S.

1 1.00 1.08 3.25 0.00 8.38 0.00 2.74 -0.01

time (sec)

N/A 0.193 0.654 0.141 0.000 0.604 0.000 4.114 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 172 499 0 1367 0 441 -1

N.S.

1 1.00 1.08 3.14 0.00 8.60 0.00 2.77 -0.01

time (sec)

N/A 0.124 0.708 0.136 0.000 0.652 0.000 2.939 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 177 454 0 1377 0 454 -1

N.S.

1 1.00 1.07 2.73 0.00 8.30 0.00 2.73 -0.01

time (sec)

N/A 0.113 0.621 0.129 0.000 0.635 0.000 3.075 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 247 563 0 4917 0 0 -1

N.S.

1 1.00 0.93 2.12 0.00 18.48 0.00 0.00 -0.00

time (sec)

N/A 0.243 1.124 0.336 0.000 2.480 0.000 0.000 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

419 419 363 764 0 6590 0 762 -1

N.S.

1 1.00 0.87 1.82 0.00 15.73 0.00 1.82 -0.00

time (sec)

N/A 0.353 1.713 0.412 0.000 5.418 0.000 5.004 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

449 566 199 603 0 0 0 0 -1

N.S.

1 1.26 0.44 1.34 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.239 10.200 0.135 0.000 0.000 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

423 503 199 586 0 0 0 0 -1

N.S.

1 1.19 0.47 1.39 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.169 9.645 0.141 0.000 0.000 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

422 501 199 561 0 0 0 0 -1

N.S.

1 1.19 0.47 1.33 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.156 7.134 0.138 0.000 0.000 0.000 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

423 503 199 536 0 0 0 0 -1

N.S.

1 1.19 0.47 1.27 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.162 7.028 0.157 0.000 0.000 0.000 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

422 501 199 366 0 0 0 0 -1

N.S.

1 1.19 0.47 0.87 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.154 10.111 0.143 0.000 0.000 0.000 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

468 644 211 553 0 0 0 0 -1

N.S.

1 1.38 0.45 1.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.285 10.161 0.150 0.000 0.000 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

406 406 475 457 0 0 0 928 2500

N.S.

1 1.00 1.17 1.13 0.00 0.00 0.00 2.29 6.16

time (sec)

N/A 5.439 1.438 0.168 0.000 0.000 0.000 4.070 2.476

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

324 324 383 335 0 4208 0 745 2500

N.S.

1 1.00 1.18 1.03 0.00 12.99 0.00 2.30 7.72

time (sec)

N/A 2.493 1.058 0.148 0.000 103.298 0.000 3.632 1.994

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 350 273 0 2452 0 619 2500

N.S.

1 1.00 1.20 0.93 0.00 8.40 0.00 2.12 8.56

time (sec)

N/A 2.434 0.941 0.139 0.000 29.463 0.000 4.236 2.342

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 256 177 0 1037 0 228 717

N.S.

1 1.00 1.27 0.88 0.00 5.13 0.00 1.13 3.55

time (sec)

N/A 0.244 0.573 0.118 0.000 6.191 0.000 3.962 1.723

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 274 299 0 3169 0 717 2500

N.S.

1 1.00 0.98 1.06 0.00 11.28 0.00 2.55 8.90

time (sec)

N/A 0.831 0.673 0.147 0.000 49.977 0.000 3.946 6.875

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

382 370 348 404 0 0 0 0 2500

N.S.

1 0.97 0.91 1.06 0.00 0.00 0.00 0.00 6.54

time (sec)

N/A 2.756 1.186 0.161 0.000 0.000 0.000 0.000 5.460

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

552 552 445 597 0 0 0 1055 2500

N.S.

1 1.00 0.81 1.08 0.00 0.00 0.00 1.91 4.53

time (sec)

N/A 2.815 1.848 0.168 0.000 0.000 0.000 5.380 7.300

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

390 390 10915 294 0 3310 0 53 -1

N.S.

1 1.00 27.99 0.75 0.00 8.49 0.00 0.14 -0.00

time (sec)

N/A 2.176 16.332 0.162 0.000 15.596 0.000 5.439 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

324 324 4331 222 0 1663 0 27 -1

N.S.

1 1.00 13.37 0.69 0.00 5.13 0.00 0.08 -0.00

time (sec)

N/A 1.016 16.033 0.127 0.000 2.660 0.000 3.849 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 250 161 0 1007 0 0 -1

N.S.

1 1.00 1.04 0.67 0.00 4.20 0.00 0.00 -0.00

time (sec)

N/A 0.233 8.662 0.124 0.000 0.868 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 4644 270 0 2435 0 0 -1

N.S.

1 1.00 15.96 0.93 0.00 8.37 0.00 0.00 -0.00

time (sec)

N/A 0.490 16.249 0.157 0.000 1.642 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

373 373 7777 318 0 4132 0 0 -1

N.S.

1 1.00 20.85 0.85 0.00 11.08 0.00 0.00 -0.00

time (sec)

N/A 1.715 16.307 0.153 0.000 6.467 0.000 0.000 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

512 512 10933 417 0 5811 0 0 -1

N.S.

1 1.00 21.35 0.81 0.00 11.35 0.00 0.00 -0.00

time (sec)

N/A 3.501 16.409 0.157 0.000 15.802 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

460 460 501 444 0 0 0 857 2500

N.S.

1 1.00 1.09 0.97 0.00 0.00 0.00 1.86 5.43

time (sec)

N/A 3.583 1.601 0.145 0.000 0.000 0.000 4.964 3.413

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

327 327 373 277 0 4378 0 649 2500

N.S.

1 1.00 1.14 0.85 0.00 13.39 0.00 1.98 7.65

time (sec)

N/A 0.957 1.137 0.148 0.000 68.190 0.000 7.193 4.129

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 379 381 0 0 0 827 2500

N.S.

1 1.00 1.10 1.10 0.00 0.00 0.00 2.39 7.23

time (sec)

N/A 1.096 1.267 0.129 0.000 0.000 0.000 7.133 7.673

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

417 416 427 535 0 0 0 433 2500

N.S.

1 1.00 1.02 1.28 0.00 0.00 0.00 1.04 6.00

time (sec)

N/A 2.274 1.549 0.157 0.000 0.000 0.000 5.538 6.097

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

595 595 18689 459 0 0 0 104 -1

N.S.

1 1.00 31.41 0.77 0.00 0.00 0.00 0.17 -0.00

time (sec)

N/A 2.383 16.354 0.162 0.000 0.000 0.000 6.188 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

491 491 14032 347 0 5968 0 56 -1

N.S.

1 1.00 28.58 0.71 0.00 12.15 0.00 0.11 -0.00

time (sec)

N/A 1.199 16.199 0.162 0.000 52.900 0.000 4.504 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

487 487 9290 215 0 3855 0 27 -1

N.S.

1 1.00 19.08 0.44 0.00 7.92 0.00 0.06 -0.00

time (sec)

N/A 1.070 16.129 0.127 0.000 15.373 0.000 7.769 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

260 432 7789 351 0 4096 0 0 -1

N.S.

1 1.66 29.96 1.35 0.00 15.75 0.00 0.00 -0.00

time (sec)

N/A 0.583 16.256 0.161 0.000 8.466 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

523 523 9321 478 0 7833 0 0 -1

N.S.

1 1.00 17.82 0.91 0.00 14.98 0.00 0.00 -0.00

time (sec)

N/A 1.800 16.309 0.161 0.000 32.028 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 346 463 0 3615 0 4637 917

N.S.

1 1.00 1.23 1.65 0.00 12.86 0.00 16.50 3.26

time (sec)

N/A 4.878 0.851 0.159 0.000 3.727 0.000 7.630 1.450

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 285 383 0 2053 0 4060 776

N.S.

1 1.00 1.24 1.67 0.00 8.97 0.00 17.73 3.39

time (sec)

N/A 1.205 0.577 0.147 0.000 1.490 0.000 6.046 1.311

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 169 360 0 871 0 591 649

N.S.

1 1.00 0.93 1.98 0.00 4.79 0.00 3.25 3.57

time (sec)

N/A 0.176 0.237 0.133 0.000 0.810 0.000 5.099 1.288

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 264 475 0 1232 0 3639 669

N.S.

1 1.00 1.10 1.97 0.00 5.11 0.00 15.10 2.78

time (sec)

N/A 1.034 0.573 0.137 0.000 2.646 0.000 8.100 1.298

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 307 580 0 2799 0 1675 825

N.S.

1 1.00 1.06 2.00 0.00 9.65 0.00 5.78 2.84

time (sec)

N/A 1.523 1.538 0.166 0.000 7.203 0.000 6.678 1.410

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 588 226 0 2860 0 1709 1024

N.S.

1 1.00 1.81 0.70 0.00 8.80 0.00 5.26 3.15

time (sec)

N/A 3.679 0.644 0.152 0.000 1.344 0.000 7.539 1.300

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 412 175 0 1430 0 3580 870

N.S.

1 1.00 1.57 0.67 0.00 5.44 0.00 13.61 3.31

time (sec)

N/A 1.300 0.431 0.129 0.000 0.726 0.000 5.381 1.272

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 155 130 0 759 0 641 989

N.S.

1 1.00 0.70 0.59 0.00 3.45 0.00 2.91 4.50

time (sec)

N/A 0.156 0.117 0.125 0.000 0.454 0.000 5.621 1.268

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

265 265 471 212 0 1998 0 3965 1234

N.S.

1 1.00 1.78 0.80 0.00 7.54 0.00 14.96 4.66

time (sec)

N/A 0.495 0.455 0.147 0.000 0.558 0.000 9.248 1.205

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 199 160 0 290 0 209 383

N.S.

1 1.00 2.07 1.67 0.00 3.02 0.00 2.18 3.99

time (sec)

N/A 0.137 0.419 0.574 0.000 0.376 0.000 4.804 1.500

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

479 479 461 375 0 9162 0 105 -1

N.S.

1 1.00 0.96 0.78 0.00 19.13 0.00 0.22 -0.00

time (sec)

N/A 1.249 11.287 0.159 0.000 135.038 0.000 6.417 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

366 366 355 267 0 7362 0 55 -1

N.S.

1 1.00 0.97 0.73 0.00 20.11 0.00 0.15 -0.00

time (sec)

N/A 0.815 10.733 0.156 0.000 55.004 0.000 6.627 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 292 200 0 5585 0 27 -1

N.S.

1 1.00 0.98 0.67 0.00 18.74 0.00 0.09 -0.00

time (sec)

N/A 0.508 10.452 0.119 0.000 9.716 0.000 7.411 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 250 161 0 3417 0 0 -1

N.S.

1 1.00 1.04 0.67 0.00 14.24 0.00 0.00 -0.00

time (sec)

N/A 0.210 5.207 0.122 0.000 2.782 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 179 151 0 4577 0 0 -1

N.S.

1 1.00 0.74 0.62 0.00 18.84 0.00 0.00 -0.00

time (sec)

N/A 0.125 0.126 0.121 0.000 3.688 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 271 197 0 6466 0 0 -1

N.S.

1 1.00 0.97 0.70 0.00 23.09 0.00 0.00 -0.00

time (sec)

N/A 0.444 10.822 0.153 0.000 13.250 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

341 341 320 248 0 8220 0 0 -1

N.S.

1 1.00 0.94 0.73 0.00 24.11 0.00 0.00 -0.00

time (sec)

N/A 0.497 10.534 0.144 0.000 62.843 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

443 443 383 349 0 10039 0 0 -1

N.S.

1 1.00 0.86 0.79 0.00 22.66 0.00 0.00 -0.00

time (sec)

N/A 1.042 11.252 0.148 0.000 157.674 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

350 507 2281 369 0 0 0 75 -1

N.S.

1 1.45 6.52 1.05 0.00 0.00 0.00 0.21 -0.00

time (sec)

N/A 2.855 20.340 0.125 0.000 0.000 0.000 5.521 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

360 360 2162 284 0 14319 0 0 -1

N.S.

1 1.00 6.01 0.79 0.00 39.78 0.00 0.00 -0.00

time (sec)

N/A 0.841 17.756 0.141 0.000 165.057 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

333 333 2119 246 0 13948 0 0 -1

N.S.

1 1.00 6.36 0.74 0.00 41.89 0.00 0.00 -0.00

time (sec)

N/A 0.483 16.500 0.145 0.000 116.395 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

341 341 2061 240 0 17065 0 0 -1

N.S.

1 1.00 6.04 0.70 0.00 50.04 0.00 0.00 -0.00

time (sec)

N/A 0.557 15.377 0.118 0.000 225.020 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

339 462 2158 329 0 0 0 0 -1

N.S.

1 1.36 6.37 0.97 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.007 16.565 0.169 0.000 0.000 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

419 647 2218 431 0 0 0 0 -1

N.S.

1 1.54 5.29 1.03 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 3.949 16.161 0.194 0.000 0.000 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

243 243 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.441 0.194 0.024 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]